🎯 Gradual Typing - matmat · Scour

Alexis King’s Blog

lexi-lambda.github.io·2d

λLambda Formalization

Type-Safe Routing Without the Build Step

werkbank.dev·14h·

Discuss: Hacker News

✅Format Verification

LLM-Based Repair of C++ Implicit Data Loss Compiler Warnings: An Industrial Case Study

arxiv.org·3h

🔓Decompilation

Making a Language

thunderseethe.dev·9h

🛠Language Design

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·20h

📊Static Analysis

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·3h

🔓Reverse engineering

Efficiently cleaning a TypeScript project: Knip + AI agent workflow

dev.to·16h·

Discuss: DEV

🔗Topological Sorting

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·1d

⚙️Syntactic Monoids

Use Babel to Deobfuscate JavaScript Malware

blag.nullteilerfrei.de·3d

🧪Binary Fuzzing

Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites

dev.to·18h·

Discuss: DEV

🦀Embedded Rust

Codeless: From idea to software

anildash.com·8h

🚀Indie Hacking

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

💧Liquid Types

Values of the world, unite!

jemarch.net·1d

🔧Binary Parsers

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

abelianization of an additive category in nLab

ncatlab.org·16h

🧮Algebraic Archives

Evolution of LLMs use by a programmer

asfaload.com·15h·

Discuss: Hacker News

🧩WASM Components

CodeSOD: Validation Trimmed Away

thedailywtf.com·1d

✅Format Validation

Exploring Text Compression

denvaar.dev·1d

📝Text Compression

Color‑Driven Code Navigation

poppastring.com·3h·

Discuss: Lobsters, Hacker News

🌈Color Archaeology

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·16h·

Discuss: Hacker News

🤝Unification Algorithms

Loading more...